Topological Boolean algebra